4da9f25d45d70bbbe169a1a3add5ca7b2134b8ee,plugins/org.eclipse.xtext.ui.core/src/org/eclipse/xtext/ui/core/editor/MarkerUtil.java,AddMarkersOperation,execute,#IProgressMonitor#,51
Before Change
if (!file.exists())
return;
if (deleteMarkers)
file.deleteMarkers(markerId, true, IResource.DEPTH_ZERO);
if (!issues.isEmpty()) {
// update
for (Map<String, Object> map : issues) {
After Change
if (!file.exists())
return;
if (deleteMarkers)
for (String markerID : getMarkerIDs(checkMode)) {
file.deleteMarkers(markerID, true, IResource.DEPTH_INFINITE);
}
if (!issues.isEmpty()) {
// update